Bram Swaanen; "Formalizing Axiomatic Theories of Truth"
https://studenttheses.uu.nl/bitstream/handle/20.500.12932/49881/master-thesis.pdf